|
Amer M
|
A methodology to determine the potential of urban densification through roof stacking
|
|
Anton D
|
As-Built 3D Heritage City Modelling to Support Numerical Structural Analysis: Application to the Assessment of an Archaeological Remain
|
|
Balachandran S
|
Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff
|
|
Beal J
|
Personalized logical models to investigate cancer response to BRAF treatments in melanomas and colorectal cancers
|
|
Beal J
|
An End-to-End Workflow for Engineering of Biological Networks from High-Level Specifications
|
|
Bejestani AK
|
A Hierarchical Transactive Control Architecture for Renewables Integration in Smart Grids: Analytical Modeling and Stability
|
|
Bellia L
|
University building: Energy diagnosis and refurbishment design with cost-optimal approach. Discussion about the effect of numerical modelling assumptions
|
|
Burch EC
|
Monopolies in Multidistrict Litigation
|
|
Burek P
|
Development of the Community Water Model (CWatM v1.04) - a high-resolution hydrological model for global and regional assessment of integrated water resources management
|
|
Caramanis C
|
Transplanting Anglo-American accounting oversight boards to a diverse institutional context
|
|
Chandrasekaran S
|
Probabilistic integrative modeling of genome-scale metabolic and regulatory networks in Escherichia coli and Mycobacterium tuberculosis
|
|
Cherkasov A
|
QSAR Modeling: Where Have You Been? Where Are You Going To?
|
|
Costa G
|
Secure service orchestration in open networks
|
|
Curcin V
|
Embedding data provenance into the Learning Health System to facilitate reproducible research
|
|
Davila S
|
Real-time dissemination of air quality information using data streams and Web technologies: linking air quality to health risks in urban areas
|
|
De Nicola A
|
Creative design of emergency management scenarios driven by semantics: An application to smart cities
|
|
Dionisi D
|
A multiwavelength numerical model in support of quantitative retrievals of aerosol properties from automated lidar ceilometers and test applications for AOT and PM10 estimation
|
|
Engstrom DF
|
Algorithmic Accountability in the Administrative State
|
|
Fang HB
|
Origami-based earthworm-like locomotion robots
|
|
Felden C
|
Integrated Information Supply for Decision Support in Grid Companies
|
|
Ferraguti F
|
An Energy Tank-Based Interactive Control Architecture for Autonomous and Teleoperated Robotic Surgery
|
|
Ferreira A
|
Eyes in the Skies: A Data-Driven Fusion Approach to Identifying Drug Crops From Remote Sensing Images
|
|
Filieri A
|
A formal approach to adaptive software: continuous assurance of non-functional requirements
|
|
Freitas L
|
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems
|
|
Jiang SH
|
Combined MvdXML and Semantic Technologies for Green Construction Code Checking
|
|
Joshi A
|
Optimal Robust Control Based on Partial Derivative Plant Approximation for Frequency Support Using Multiple DC Microgrids
|
|
Khalilimeybodi A
|
Context-specific network modeling identifies new crosstalk in beta-adrenergic cardiac hypertrophy
|
|
Khan ZU
|
DeepSSPred: A Deep Learning Based Sulfenylation Site Predictor Via a Novel nSegmented Optimize Federated Feature Encoder
|
|
Kovacs AT
|
BIM quality control based on requirement linked data
|
|
Kruger S
|
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
|
|
Kumar A
|
Experimental evaluation of insulation materials for walls and roofs and their impact on indoor thermal comfort under composite climate
|
|
Larrieu KG
|
Automated analysis of lateral river connectivity and fish stranding risks. Part 2: Juvenile Chinook salmon stranding at a river rehabilitation site
|
|
Lee D
|
BioCAD: an information fusion platform for bio-network inference and analysis
|
|
Li D
|
Fault, detection and diagnosis for building cooling system with a tree-structured learning method
|
|
Li S
|
Integrating Natural Language Processing and Spatial Reasoning for Utility Compliance Checking
|
|
Li YC
|
Semiautomatic Generation of Code Ontology Using ifcOWL in Compliance Checking
|
|
Lu Y
|
Ontology-based knowledge modeling for automated construction safety checking
|
|
Malinowski P
|
Mindfulness at Work: Positive Affect, Hope, and Optimism Mediate the Relationship Between Dispositional Mindfulness, Work Engagement, and Well-Being
|
|
Mansouri K
|
OPERA models for predicting physicochemical properties and environmental fate endpoints
|
|
Masquida B
|
Exploring RNA structure by integrative molecular modelling
|
|
Meedeniya I
|
Evaluating probabilistic models with uncertain model parameters
|
|
Merayo MG
|
Passive testing of communicating systems with timeouts
|
|
Munoz S
|
An Emotion-Aware Learning Analytics System Based on Semantic Task Automation
|
|
Nagrath V
|
SmartTS: A Component-based and Model-Driven Approach to Software Testing in Robotic Software Ecosystem
|
|
Nahabedian L
|
Assured automatic dynamic reconfiguration of business processes
|
|
Nahas N
|
A multi-objective AVR-LFC optimization scheme for multi-area power systems
|
|
Nguyen VH
|
An automatic method for assessing the versions affected by a vulnerability
|
|
Panagopoulou M
|
Deciphering the Methylation Landscape in Breast Cancer: Diagnostic and Prognostic Biosignatures through Automated Machine Learning
|
|
Parejo A
|
OpenADR and Agreement Audit Architecture for a Complete Cycle of a Flexibility Solution
|
|
Parra F
|
Automatic Assessment of Emotion Dysregulation in American, French, and Tunisian Adults and New Developments in Deep Multimodal Fusion: Cross-sectional Study
|
|
Politou E
|
Profiling tax and financial behaviour with big data under the GDPR
|
|
Priyanka EB
|
Integrating IoT with LQR-PID controller for online surveillance and control of flow and pressure in fluid transportation system
|
|
Santos I
|
XBRL formula specification in the multidimensional data model
|
|
Schaefer C
|
A Process Analytical Technology (PAT) approach to control a new API manufacturing process: Development, validation and implementation
|
|
Shahid K
|
On the Use of Common Information Model for Smart Grid Applications - A Conceptual Approach
|
|
Shin Y
|
A Good Practice-Compliant Clinical Trial Imaging Management System for Multicenter Clinical Trials: Development and Validation Study
|
|
Singh R
|
Implementation of an advanced hybrid MPC-PID control system using PAT tools into a direct compaction continuous pharmaceutical tablet manufacturing pilot plant
|
|
Sion L
|
DPMF: A Modeling Framework for Data Protection by Design
|
|
Song BW
|
PSI-MOUSE: Predicting Mouse Pseudouridine Sites From Sequence and Genome-Derived Features
|
|
Thomas F
|
Gene Expression Analysis of Zobellia galactanivorans during the Degradation of Algal Polysaccharides Reveals both Substrate-Specific and Shared Transcriptome-Wide Responses
|
|
Troupin D
|
Landscape patterns of development under two alternative scenarios: Implications for conservation
|
|
Turki T
|
Discriminating the single-cell gene regulatory networks of human pancreatic islets: A novel deep learning application
|
|
Wu YJ
|
Automated ‘Eye-sight’ Venetian blinds based on an embedded photometric device with real-time daylighting computing
|
|
Xia Y
|
Optimization-based three-dimensional strut-and-tie model generation for reinforced concrete
|
|
Zhang C
|
INTEROPERABLE VALIDATION FOR IFC BUILDING MODELS USING OPEN STANDARDS
|
|
Zorner J
|
LiDAR-Based Regional Inventory of Tall TreesWellington, New Zealand
|